soit \((G,*)\) un groupe et \(E{{\subset G}}\) sous-ensemble engendré par \(E\) : plus petit sous-groupe de \(G\) contenant \(E\) (Groupe, Inclusion, Sous-ensemble - Partie d’un ensemble)